Tighter bounds for the determinisation of Büchi automata

机译：确定Büchi自动机的更严格的界限

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Sven Schewe;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Tight bounds on the simulation of unary probabilistic automata by deterministic automata [J] . Massimiliano Milani, Giovanni Pighizzini Journal of Automata, Languages and Combinatorics . 2001,第4期

机译：确定性自动机模拟一元概率自动机的严格边界
2. Tight bounds on the simulation of unary probabilistic automata by deterministic automata [J] . Massimiliano Milani, Giovanni Pighizzini Journal of Automata, Languages and Combinatorics . 2001,第4期

机译：确定性自动机模拟一元概率自动机的严格边界
3. A Tight Bound on the Distance Between a Noncentral Chi Square and a Normal Distribution [J] . Seri Raffaello Communications Letters, IEEE . 2015,第11期

机译：非中心卡方与正态分布之间的距离的紧界
4. Tight Bounds for the Determinisation and Complementation of Generalised Biichi Automata [C] . Sven Schewe, Thomas Varghese International symposium on automated technology for verification and analysis . 2012

机译：广义Biichi自动机的确定和补充的严格界。
5. A hybrid approach for derivation of tight execution time bounds of program-segments and service time bounds of simple object methods in real-time distributed computing systems. [D] . Im, Chansik. 2005

机译：一种用于在实时分布式计算系统中推导程序段的严格执行时间界限和简单对象方法的服务时间界限的混合方法。
6. Bu-Zhong-Yi-Qi Granule Enhances Colonic Tight Junction Integrity via TLR4/NF- [O] . Xiuhong Kang, Mengdi Jia, Luqing Zhao, 2021

机译：B U-z洪-Y i-Q i granule enhances colonic tight junction integrity via TLR4/NF-
7. Parity and generalised Büchi automata - determinisation and complementation [O] . Methrayil Varghese PT 2000

机译：奇偶校验和广义Büchi自动机-确定性和互补性
8. Synthesis and Characterization of Tert-Butylgallium-Antimony Compounds; X-RayCrystal Structures of t-Bu3GaSb(SiMe3)3, t-Bu2GaSb(SiMe3)2, and t-Bu2GaSb(SiMe3)Ga(t-Bu)2Cl, The First Example of a Gallium-Antimony Mixed-Bridge Compound [R] . Wells, R. L., Foos, E. E., White, P. S., 1997

机译：叔丁基镓 - 锑化合物的合成与表征; t-Bu3Gasb（sime3）3，t-Bu2Gasb（sime3）2和t-Bu2Gasb（sime3）Ga（t-Bu）2Cl的X射线晶体结构，镓 - 锑混合桥化合物的第一个例子

Tighter bounds for the determinisation of Büchi automata

著录项

引文网络

相似文献

相关主题

期刊订阅